transition:    
s1-a-s2;
s2-b-s1;
initial:
s1;
final:
s1.